21. Advanced functional programming :5 th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004 : revised lectures
پدیدآورنده : Varmo Vene, Tarmo Uustalu )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Functional programming )Computer science(
رده :
QA
76
.
L28
Vol
.
3622
22. Advanced functional programming : 4th international school, AFP 2002, Oxford, UK, August 19-24, 2002 : revised lectures
پدیدآورنده : Johan Jeuring, Simon Peyton Jones )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Functional programming )Computer science(
رده :
QA
76
.
L28
Vol
.
2638
23. Advanced topics in dataflow computing and multithreading
پدیدآورنده : / [edited by] Guahg R. Gao, Lubomir Bic, Jean-Luc Gaudiot
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer architecture-Congresses,Functional programming(Computer science)-Congresses
رده :
QA76
.
9
.
A73
,
A355
1991
24. Advances in Artifical Intelligence :
پدیدآورنده : edited by Gordon McCalla.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Computer Science.
رده :
Q334
.
E358
1996
25. Algebraic and logic programming :
پدیدآورنده : J. Grabowski, P. Lescanne, W. Wechler (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebraic logic -- Congresses.,Algebraic logic.,Logic programming -- Congresses.
رده :
QA76
.
6
J473
1989
26. Algorithms :
پدیدآورنده : Fethi Rabhi, Guy Lapalme.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer algorithms.,Functional programming languages.,Algorithmes.,Langages de programmation fonctionnels.,ALGORITHMS.,Algorithmus,Algorithmus.,Algoritmen.,Computer algorithms.,COMPUTER PROGRAMS.,Functional programming languages.,Functionele programmering.,FUNCTIONS (MATHEMATICS),Funktionale Programmiersprache,Funktionale Programmierung,Funktionale Programmierung.,PROGRAMMING LANGUAGES.
رده :
QA76
.
9
.
A43
R34
1999
27. Algorithms: a functional programming approach
پدیدآورنده : Rabhi, Fethi.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Computer algorithms,، Functional programming languages
رده :
QA
76
.
9
.
A43
R34
1999
28. An Architecture for combinator Graph Reduction
پدیدآورنده : Philip John Koopman
موضوع : Computer architecture,Functional programming (Computer science),Graph grammers
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
29. An Integrated Approach to Software Engineering
پدیدآورنده : by Pankaj Jalote.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Software engineering.
30. An intensional implementation technique for functional languages
پدیدآورنده : Yaghi, Ali A. G.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : QA76 Electronic computers. Computer science. Computer software
31. An introduction to brain and behavior
پدیدآورنده : Bryan Kolb, Ian Q. Whishaw.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Brain -- Textbooks.,Human behavior -- Physiological aspects -- Textbooks.,Neurophysiology -- Textbooks.
رده :
QP376
.
B793
2011
32. An introduction to functional programming
پدیدآورنده : R. J. Bird
موضوع : Functional programming (Computer science)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
33. An introduction to functional programming
پدیدآورنده : / Richard Bird, Philip Wadler
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Functional programming (Computer science)
رده :
QA76
.
6
.
B568
1988
34. An introduction to functional programming through Lambda calculus /
پدیدآورنده : Greg Michaelson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Functional programming (Computer science),Lambda calculus.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Functional programming (Computer science),Lambda calculus.,MATHEMATICS-- General.
رده :
QA76
.
6
.
M4854
2011eb
35. Applications of functional programming
پدیدآورنده : edited by C. Runciman and D. Wakeling
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Functional programming )Computer science( , Haskell )Computer program language(
رده :
QA
76
.
62
.
A67
1995
36. Applications of functional programming
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Functional programming )Computer science(,، Haskell )Computer program language(
رده :
QA
76
.
62
.
A67
1994
37. Applications of functional programming
پدیدآورنده : edited by Colin Runciman, David Wakeling
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه حکیم سبزواری (خراسان رضوی)
موضوع : ، Functional programming )Computer science(,، Haskell )Computer program language(
رده :
QA
76
.
62
.
A67
1995
38. Approaches and applications of inductive programming
پدیدآورنده : Ute Schmid, Emanuel Kitzelmann, Rinus Plasmeijer (eds.)
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Functional programming (Computer science), Congresses
رده :
QA
،
76
.
62
،.
A69
،
2010
39. Approaches and applications of inductive programming
پدیدآورنده : / Ute Schmid, Emanuel Kitzelmann, Rinus Plasmeijer (Eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Functional programming (Computer science), Congresses
رده :
QA76
.
62
.
A25
2010
